Using Algebra Graph Representation to Detect Pairwise-Constraint Software Faults

SimExplorer: A Testing Framework to Detect Elusive Software Faults

A Sparse Representation Method to Detect Saffron Agricultural Lands Using Sentinel-II Satellite Images Time

Nowadays, agricultural management via remote sensing technology has gained a special position among managers and the people who are in charge of this industry. Saffron (Red Gold) is one of specific Iran’s agricultural products with a high economic valance which is used in different fields of food and medical industries. Considering the cultivation conditions of the saffron, there has not a pers...

Methodology to Detect and Diagnose Faults in Memories using BIST

This project presents a scheme for detecting and diagnosing faults that are commonly occurred random access memory and Read only memory. The build in self test technique is used to identify permanent failures in embedded memories. The target of the project is fault detection and diagnosis in ROM and RAM such as single cell faults, row and column wise faults using Build in self test. In all the ...

using semblance based coherency to detect micro faults in the khangiran gas field

seismic attributes are very useful in seismic data interpretation. one of these attributes is the coherency attribute. seismic coherency is a complex trace and a geometrical attribute that is applied to a 3d cube of seismic data. it is a measure of lateral changes in acoustic impedance caused by the variation in structure, stratigraphy, lithology, porosity, and the presence of hydrocarbons. whe...

A filtering process for general constraint-satisfaction problems: achieving pairwise-consistency using an associated binary representation

In this paper, we are interesting in using a partial consistency, issued from relational databases theory, within the Constraint-Satisfaction Problems (CSPs) framework : pairwise-consistency. This partial consistency concerns general CSPs (i.e. CSPs the constraints of which may involve more than two variables). We provide a polynomial algorithm for achieving it; then we can extend the class of ...